Nuprl Definition : le_int
12,41
postcript
pdf
i
z
j
==
j
<z
i
latex
Definitions
b
,
i
<z
j
FDL editor aliases
le_int
origin
z j == 
j <z i z j == j <z i b